Basic formulas and languages

Basic formulas and languages Part I. The theory

Airborne laser scanning: basic relations and formulas

An overview of basic relations and formulas concerning airborne laser scanning is given. They are divided into two main parts, the first treating lasers and laser ranging, and the second one referring to airborne laser scanning. A separate discussion is devoted to the accuracy of 3D positioning and the factors influencing it. Examples are given for most relations, using typical values for ALS a...

Sahlqvist Formulas Unleashed in Polyadic Modal Languages

Transformation formulas for multivariable basic hypergeometric series

Abstract. We study multivariable (bilateral) basic hypergeometric series associated with (type A) Macdonald polynomials. We derive several transformation and summation properties for such series, including analogues of Heine’s 2φ1 transformation, the q-Pfaff-Kummer and Euler transformations, the q-Saalschütz summation formula, and Sear’s transformation for terminating, balanced 4φ3 series. For ...

Safety of Formulas in Query Languages , in Arithmetics , and inSet

We show that there have been common ideas concerning important properties of formulas which were independently developed in the research on query languages and in some basic mathematical theories, like set theory and formal number theory: nite-ness versus limitation of size, eeectiveness versus safety, domain-independence versus absoluteness. We provide common generalizations in each case, and ...